Failed to solve the following constraints:
  Has bigger sort: Agda.Primitive.Setω
